tree\_node($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr($x$)